$\forall$${\it lnk}$:IdLnk, ${\it tag}$:Id, $L$:Knd List. only events in $L$ send on ${\it lnk}$ with ${\it tag}$ $\in$ Realizer